" Mike Barnett" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)

Автор: Jim Davies, Автор: Wolfram Schulte, Автор: Mike Barnett

Категория: Компьютеры

Размер книги: 14.41 Mb

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Автор: Jim Davies, Автор: Wolfram Schulte, Автор: Mike Barnett

Размер книги: 6.34 Mb